Laboratoire spécification et vérification - Le Laboratoire spécification et vérification (LSV) est le laboratoire de recherche en informatique de l`ENS Paris-Saclay. - Il a été créé en 1997 et est associé au Centre national de la recherche scientifique depuis .